ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteThe fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Lire la suiteThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Lire la suiteIn this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
Lire la suiteThe 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium ...
Lire la suiteThis book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...
Lire la suiteThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lire la suiteThis volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Lire la suiteThis volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, ...
Lire la suiteThis book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Lire la suiteThe aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lire la suiteThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lire la suiteThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lire la suiteThis year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
Lire la suite